Escape Time Characterization of Pendular Fabry-Perot

We show that an escape from the potential minimum of Fabry-Perot interferometers can be detected measuring the associated sudden change of reflectivity. We demonstrate that the loss of information that occurs retaining only the sequence of escapes, rather than the full trajectory, can be very mild and can lead to an effective method to reveal the noise intensity or the presence of a coherent signal

Quantifying Timing Leaks and Cost Optimisation

We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of low variables. We then show how to measure the security of a program with respect to this notion via a computable estimate of the timing leakage and use this estimate for cost optimisation.Comment: 16 pages, 2 figures, 4 tables. A shorter version is included in the proceedings of ICICS'08 - 10th International Conference on Information and Communications Security, 20-22 October, 2008 Birmingham, U

Tanaka-Tagoshi Parametrization of post-1PN Spin-Free Gravitational Wave Chirps: Equispaced and Cardinal Interpolated Lattices For First Generation Interferometric Antennas

The spin-free binary-inspiral parameter-space introduced by Tanaka and Tagoshi to construct a uniformly-spaced lattice of templates at (and possibly beyond) $2.5PN$ order is shown to work for all first generation interferometric gravitational wave antennas. This allows to extend the minimum-redundant cardinal interpolation techniques of the correlator bank developed by the Authors to the highest available order PN templates. The total number of 2PN templates to be computed for a minimal match $\Gamma=0.97$ is reduced by a factor 4, as in the 1PN case.Comment: 9 pages, 8 figures, 3 tables, accepted for publication in Phys. Rev.

Probabilistic abstract interpretation: From trace semantics to DTMC’s and linear regression

In order to perform probabilistic program analysis we need to consider probabilistic languages or languages with a probabilistic semantics, as well as a corresponding framework for the analysis which is able to accommodate probabilistic properties and properties of probabilistic computations. To this purpose we investigate the relationship between three different types of probabilistic semantics for a core imperative language, namely Kozen’s Fixpoint Semantics, our Linear Operator Semantics and probabilistic versions of Maximal Trace Semantics. We also discuss the relationship between Probabilistic Abstract Interpretation (PAI) and statistical or linear regression analysis. While classical Abstract Interpretation, based on Galois connection, allows only for worst-case analyses, the use of the Moore-Penrose pseudo inverse in PAI opens the possibility of exploiting statistical and noisy observations in order to analyse and identify various system properties

Nutritional support for head-injured patients

Copyright John Wiley & Sons. This review is published as a Cochrane Review in the Cochrane Database of Systematic Reviews 2004, Issue 3. Cochrane Reviews are regularly updated as new evidence emerges and in response to comments and criticisms, and the Cochrane Database of Systematic Reviews should be consulted for the most recent version of the Review.’ Perel, P. , Yanagawa, T. , Bunn, F. , Roberts, I. , Wentz, R. and Pierro, A. Nutritional support for head-injured patients. Cochrane Database of Systematic Reviews 2004, Issue 3. Art. No.: CD001530. DOI: 10.1002/14651858.CD001530.pub2Background: Head injury increases the body's metabolic responses, and therefore nutritional demands. Provision of an adequate supply of nutrients is associated with improved outcome. The best route for administering nutrition (parenterally (TPN) or enterally (EN)), and the best timing of administration (for example, early versus late) of nutrients needs to be established. Objectives: To quantify the effect on mortality and morbidity of alternative strategies of providing nutritional support following head injury. Search strategy: Trials were identified by computerised searches of the Cochrane Injuries Group specialised register, Cochrane Central Register of Controlled Trials, MEDLINE, EMBASE, National Research Register, Web of Science and other electronic trials registers. Reference lists of trials and review articles were checked. The searches were last updated in July 2006. Selection criteria: Randomised controlled trials of timing or route of nutritional support following acute traumatic brain injury. Data collection and analysis: Two authors independently abstracted data and assessed trial quality. Information was collected on death, disability, and incidence of infection. If trial quality was unclear, or if there were missing outcome data, trialists were contacted in an attempt to get further information. Main results: A total of 11 trials were included. Seven trials addressed the timing of support (early versus delayed), data on mortality were obtained for all seven trials (284 participants). The relative risk (RR) for death with early nutritional support was 0.67 (95% CI 0.41 to 1.07). Data on disability were available for three trials. The RR for death or disability at the end of follow-up was 0.75 (95% CI 0.50 to 1.11). Seven trials compared parenteral versus enteral nutrition. Because early support often involves parenteral nutrition, three of the trials are also included in the previous analyses. Five trials (207 participants) reported mortality. The RR for mortality at the end of follow-up period was 0.66 (0.41 to 1.07). Two trials provided data on death and disability. The RR was 0.69 (95% Cl 0.40 to 1.19). One trial compared gastric versus jejunal enteral nutrition, there were no deaths and the RR was not estimable. Authors' conclusions: This review suggests that early feeding may be associated with a trend towards better outcomes in terms of survival and disability. Further trials are required. These trials should report not only nutritional outcomes but also the effect on death and disability.Peer reviewe

Robust Gravitational Wave Burst Detection and Source Localization in a Network of Interferometers Using Cross Wigner Spectra

We discuss a fast cross-Wigner transform based technique for detecting gravitational wave bursts, and estimating the direction of arrival, using a network of (three) non co-located interferometric detectors. The performances of the detector as a function of signal strength and source location, and the accuracy of the direction of arrival estimation are investigated by numerical simulations.Comment: accepted in Class. Quantum Gravit

Rejection Properties of Stochastic-Resonance-Based Detectors of Weak Harmonic Signals

In (V. Galdi et al., Phys. Rev. E57, 6470, 1998) a thorough characterization in terms of receiver operating characteristics (ROCs) of stochastic-resonance (SR) detectors of weak harmonic signals of known frequency in additive gaussian noise was given. It was shown that strobed sign-counting based strategies can be used to achieve a nice trade-off between performance and cost, by comparison with non-coherent correlators. Here we discuss the more realistic case where besides the sought signal (whose frequency is assumed known) further unwanted spectrally nearby signals with comparable amplitude are present. Rejection properties are discussed in terms of suitably defined false-alarm and false-dismissal probabilities for various values of interfering signal(s) strength and spectral separation.Comment: 4 pages, 5 figures. Misprints corrected. PACS numbers added. RevTeX

A computational group theoretic symmetry reduction package for the SPIN model checker

Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence of states during search. We present TopSpin, a fully automatic symmetry reduction package for the Spin model checker. TopSpin uses the Gap computational algebra system to effectively detect state space symmetry from the associated Promela specification, and to choose an efficient symmetry reduction strategy by classifying automorphism groups as a disjoint/wreath product of subgroups. We present encouraging experimental results for a variety of Promela examples

An Algorithmic Approach to Quantum Field Theory

The lattice formulation provides a way to regularize, define and compute the Path Integral in a Quantum Field Theory. In this paper we review the theoretical foundations and the most basic algorithms required to implement a typical lattice computation, including the Metropolis, the Gibbs sampling, the Minimal Residual, and the Stabilized Biconjugate inverters. The main emphasis is on gauge theories with fermions such as QCD. We also provide examples of typical results from lattice QCD computations for quantities of phenomenological interest.Comment: 44 pages, to be published in IJMP